vector addition system

向量加法系统[VAS]